Proof Verbalization as an Application of NLGXiaorong
نویسندگان
چکیده
This paper describes the linguistic part of a system called PROVERB, which transforms, abstracts, and verbalizes machine-found proofs into formated texts. Linguistically, the architecture of PROVERB follows most application oriented systems, and is a pipe-lined control of three components. Its macroplanner linearizes a proof and plans mediating communicative acts by employing a combination of hierarchical planning and focus-guided navigation. The microplanner then maps communicative acts and domain concepts into linguistic resources, paraphrases and aggregates such resources to produce the nal Text Structure. A Text Structure contains all necessary syntactic information, and can be executed by our realizer into grammatical sentences. The system works fully automatically and performs particularly well for textbook size examples.
منابع مشابه
The Role of Verbalization in Listening Conceptual Formation among Iranian EFL Learners: A STI Perspective
The present study was an attempt to investigate the significance of verbalization and teaching the concepts of listening on the development of listening performance among Iranian EFL learners. To do so, an experimental study was designed in which the participants were sixty pre-intermediate learners selected based on the results of their performance on a standard version of Oxford Placement Tes...
متن کاملProof Verbalization as an Application of NLG
This paper describes the linguistic part of a system called PROVERB, which transforms, abstracts, and verbalizes machine-found proofs into formated texts. Linguistically, the architecture of PROVERB follows most application oriented systems, and is a pipe-lined control of three components. Its macroplanner linearizes a proof and plans mediating communicative acts by employing a combination of h...
متن کاملMEGA From Proof Planning towards Mathematical Knowledge Management
Higher Order Natural Deduction Proof Object Maintenance of proof developments at different layers of granularity which are connected to each other September 25th, 2003 – p.7 Source: Autexier, Benzmüller Proof Data Structure MEGA Main References [CheikhrouhouSorge-ACIDCA-00] Overview on PDS [SiekmannEtAl-35yAutomath] Working with PDS Discussion + Support for proof development at different levels...
متن کاملVerbalization: Narration of Autonomous Robot Experience
Autonomous mobile robots navigate in our spaces by planning and executing routes to destinations. When a mobile robot appears at a location, there is no clear way to understand what navigational path the robot planned and experienced just by looking at it. In this work, we address the generation of narrations of autonomous mobile robot navigation experiences. We contribute the concept of verbal...
متن کاملAn Exploratory Study of the Effective Mediating Artefacts in Listening through Systemic Theoretical Instruction (STI) among English as Foreign Language Learners
This research study investigated the development of listening proficiency level by the aid of different media- tional artifacts in Systemic Theoretical Instruction (STI). The study considered whether exposing learners to different types and various numbers of mediating artefacts would increase their awareness towards listen- ing concepts after two months, and consequently promote their listenin...
متن کامل